Modeling and Verification of ERP Functional Requirements based on Colored Petri Net
نویسندگان
چکیده
The rise of enterprise resource planning (ERP) systems has been a major event in the software industry and it became solution for most enterprises to manage their data business processes. Successful ERP implementations can reduce costs by improving efficiency then lead improved company performance better competitive edge. Despite these benefits age existing several decades still high percentage implementation failures are documented. is packaged designed following best practice from specific support typical processes entire industrial field, was vendors used organization which implement it. Since designer user two independent entity misalignments between user’s needs design often happen. misalignment define new requirements must be embedded into selected ERP. Requirement engineering (RE) main part initial activity concern about defines stakeholder requirements, desire. Requirements basis efficient quality management. Tools theories RE general numerous nowadays; however, task providing tools that specializes Enterprise addressed rarely. For that; this paper discusses modelling verification functional based on colored Petri nets (CPN) after evaluation different Business process techniques using analytical hierarchy (AHP). CPN considered one powerful help involvement appropriate organization’s representation. nature internal completeness consistency model.
منابع مشابه
Verification of Session Initiation Protocol Using Timed Colored Petri Net
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for VoiceoverInternet Protocol (VoIP) communications. SIP is based on a client-server infrastr...
متن کاملPetri-net Based Modeling for Verification of RBAC Policies
Role based access control has emerged as a promising new approach to security for advanced applications because of the several benefits it provides. However, most of the research efforts in this area has been focused towards the specification and modeling of RBAC systems. The crucial issue of verification of role based access control policies has not been adequately investigated in the literatu...
متن کاملColored Petri net modeling and simulation of signal transduction pathways.
Presented herein is a methodology for quantitatively analyzing the complex signaling network by resorting to colored Petri nets (CPN). The mathematical as well as Petri net models for two basic reaction types were established, followed by the extension to a large signal transduction system stimulated by epidermal growth factor (EGF) in an application study. The CPN models based on the Petri net...
متن کاملPrediction of Vehicle Trajectory Based on Fuzzy Colored Petri Net
Aiming at the difficulty in establishing model to describe vehicle running state, real road test was carried out to capture data which represent the movement of vehicles. Coordinate transformation method and transform relationship among different variable parameters were used to establishing represent model of vehicle movement. By using Petri net which had well layering and time sequence, vehic...
متن کاملModeling and Simulation Firewall Using Colored Petri Net
In this paper the methodology of firewalled LAN models construction in the form of Colored Petri Net is introduced and model the ACL (Access Control List ) in firewalls as the first form of defense for the simulation and analysis of the model the Design/CPN Tools is used The components of the model are Firewall, Switch, Hub, Server and Workstation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering & Applications
سال: 2021
ISSN: ['0975-9018', '0976-2221']
DOI: https://doi.org/10.5121/ijsea.2021.12303